机译:利用扩展的混合功能Petri网在基于线虫的线虫发育过程中基于模拟的模型检查方法确定细胞命运
机译:扩展功能的混合Petri网在秀丽隐杆线虫外阴发育过程中基于模拟的细胞命运规范模型检验方法
机译:基于在线模型检查的参数估计与混合功能Petri网的秀丽隐杆线虫神经元命运决策模拟模型
机译:基于场景的建模开发方法:秀丽隐杆线虫命运规范的原型模型。
机译:用伸展杂交功能Petri网的微rNA双负反馈回路的味觉神经元的细胞命运模拟模型
机译:秀丽隐杆线虫lin-40,synMuv和nhr-25基因在调节外阴发育过程中细胞命运规范和不对称细胞分裂中的作用。
机译:基于场景的建模开发方法:秀丽隐杆线虫命运规范的原型模型
机译:利用扩展的混合功能Petri网在秀丽隐杆线虫外阴发育过程中基于模拟的模型检验方法确定细胞命运
机译:'秀丽隐杆线虫'外阴细胞谱系的遗传分析